A Petri Net Library for Modeling Hybrid Systems in OpenModelica
نویسندگان
چکیده
For modeling continuous and hybrid Petri Nets with dynamic edge weightings, the already existing Petri Net Libraries were further developed. The new library was implemented in OpenModelica using the SimForge GUI, however it works also with Dymola. With the extensions it is possible to model complex biological as well as production or traffic systems.
منابع مشابه
Synchronous Events in the OpenModelica Compiler with a Petri Net Library Application
In this work an approach is presented that extends the OpenModelica Compiler (OMC) with an event handling module and controls events separately from the integrator. The aim of this extension is to improve the event handling controller of the OMC to handle all equations synchronously, resulting in an efficient simulation of hybrid dynamical systems. This improvements of the event handling allows...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملModeling a Bacterium's Life: a Petri-net Library in Modelica
For modeling biological systems the already existing Petri Net Libraries were further developed with OpenModelica using the SimForge graphical user interface (GUI). The Petri Nets elements were wrapped into models for different reaction types to simplify the modeling process. Additionally, a database connection was implemented for integrating kinetic data. The application of this new Reaction L...
متن کاملPetri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
متن کاملAn Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica
Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task. Therefore, a new Petri Net library was implemented based on the object-oriented modeling language Modelica which allows the modeling of discrete, stoc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009